$\forall$$a$:$\mathbb{N}$, $n$:$\mathbb{N}^{+}$. ($a$ $\geq$ $n$ ) $\Rightarrow$ (($a$ rem $n$) = (($a$ {-} $n$) rem $n$))